Model Expert System MES

The comprehensive o i l log i n t e r p r e t a t i o n is a procedure of numerical ca l cu la t i on and l o g i c a l (or p l aus ib l e ) in fe rence. In other words, the resu l t s of p re l im ina ry inference w i l l provide a basis f o r the choice of parameters of ca l cu l a t i on formula, and then the r e s u l t s of numerical c a l c u l a t i o n w i l l be used as evidences f o r f u r t h e r in fe rence, and so on and so f o r t h . In view of t h i s s i t u a t i o n , we have designed a model expert system ( t o o l system) MES and estab l ished a comprehensive o i l l og i n t e r p r e t a t i o n expert system WELIES based on the system MES. In MES, we introduced the concept of "TASK" to make numerical ca l cu la t i on i n te rg ra ted w i t h l o g i c a l ( o r p l aus ib l e ) inference dur ing the task s o l u t i o n . The execut ion of MES is a procedure of task s o l u t i o n . Ways of so lv ing a task are def i n e d by Task Transformation Rules. The Knowledge Representation is d i v ided i n t o two p a r t s : 1) Task Transformation Rules, i n c l u d ing Task Decomposition Rules and Task Der iva t ion Rules; 2) Inference Rules, i nc lud ing Production Rules and Procedure Rules. We adopt Dempster/Shafer's Evidence Theory [6] to express unce r ta in t y .